• صفحه اصلی
  • جستجوی پیشرفته
  • فهرست کتابخانه ها
  • درباره پایگاه
  • ارتباط با ما
  • تاریخچه
تعداد ۳ پاسخ غیر تکراری از ۳ پاسخ تکراری در مدت زمان ۱,۱۶ ثانیه یافت شد.

1. Automated technology for verification and analysis :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

پدیدآورنده: Tevfik Bultan, Pao-Ann Hsiung (editions.)

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Artificial intelligence, Congresses,Automatic theorem proving, Congresses

رده :
QA76
.
9
.
A96
A88
2011

2. Programming for Software Sharing

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

پدیدآورنده: edited by D. T. Muxworthy.

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer Science.,Programming Languages, Compilers, Interpreters.,Software Engineering/Programming and Operating Systems.

رده :
QA76
.
6
E358
1983

3. Systems programming in Unix/Linux /

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

پدیدآورنده: K.C. Wang.

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Linux.,UNIX (Computer file),Linux.,UNIX (Computer file),Systems programming (Computer science),Data Structures.,Operating Systems.,Programming Languages, Compilers, Interpreters.,Programming Techniques.,Algorithms & data structures.,Computer programming-- software development.,Computers-- Data Modeling & Design.,Computers-- Operating Systems-- General.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Operating systems.,Programming & scripting languages: general.,Systems programming (Computer science)

رده :
QA76
.
76
.
O63
W36
2018
  • »
  • 1
  • «

پیشنهاد / گزارش اشکال

اخطار! اطلاعات را با دقت وارد کنید
ارسال انصراف
این پایگاه با مشارکت موسسه علمی - فرهنگی دارالحدیث و مرکز تحقیقات کامپیوتری علوم اسلامی (نور) اداره می شود
مسئولیت صحت اطلاعات بر عهده کتابخانه ها و حقوق معنوی اطلاعات نیز متعلق به آنها است
برترین جستجوگر - پنجمین جشنواره رسانه های دیجیتال